A Foundation for Metareasoning Part I: The Proof Theory

A Foundation for Metareasoning Part II: The Model Theory

Ideal Partition of Resources for Metareasoning∗

We can achieve significant gains in the value of computation by metareasoning about the nature or extent of base-level problem solving before executing a solution. However, resources that are irrevocably committed to metareasoning are not available for executing a solution. Thus, it is important to determine the portion of resources we wish to apply to metareasoning and control versus to the ex...

FREE SEMIGROUPS AND IDEMPOTENTS IN T

The known theory for an oid T shows how to find a subset T of ?T, which is a compact right topological semigroup [I]. The success of the methods in [2] for obtaining properties of-T has prompted us to see how successful they would be in another context. Thus we find (Theorem 4.8) that T cont ains copies of free semigroups on 2? generators, is an immediate consequence of the stronger resu...

Reidemeister Torsion in Floer - Novikov Theory and Counting Pseudo - holomorphic Tori

This is the second part of an article in two parts , which builds the foundation of a Floer-theoretic invariant, IF . (See [Pt1] for part I). Having constructed IF and outlined a proof of its invariance based on bifurcation analysis in part I, in this part we prove a series of gluing theorems to confirm the bifurcation behavior predicted in part I. These gluing theorems are different from (and ...

Bending and Free Vibration Analyses of Rectangular Laminated Composite Plates Resting on Elastic Foundation Using a Refined Shear Deformation Theory

In this paper, a closed form solution for bending and free vibration analyses of simply supported rectangular laminated composite plates is presented. The static and free vibration behavior of symmetric and antisymmetric laminates is investigated using a refined first-order shear deformation theory. The Winkler–Pasternak two-parameter model is employed to express the interaction between the lam...